Cerebro: Static Subsuming Mutant Selection
نویسندگان
چکیده
Mutation testing research has indicated that a major part of its application cost is due to the large number low utility mutants it introduces. Although previous identified this issue, no study proposed any effective solution problem. Thus, remains unclear how mutate and test given piece code in best effort way, i.e., achieving good trade-off between invested effectiveness. To achieve this, we propose Cerebro , machine learning approach xmlns:xlink="http://www.w3.org/1999/xlink">statically selects subsuming mutants, set resides on top subsumption hierarchy, based mutants’ surrounding context. We evaluate using 48 10 programs written C Java, respectively, demonstrate preserves mutation benefits while limiting cost, reduces all factors such as equivalent mutant executions, requiring analysis. strong inter-project prediction ability, which significantly higher than two baseline methods, supervised features by state-of-the-art, random selection. More importantly, our results show ’s selected lead tests are respectively capable killing 2 times killed baselines when selecting same mutants. At time, cost-related factors, selects, average, 68% fewer 90% executions baselines.
منابع مشابه
Overriding Subsuming Rules
This paper is concerned with intelligent agents that are able to perform nonmonotonic reasoning, not only with, but also about general rules with exceptions. More precisely, the focus is on enriching a knowledge base Γ with a general rule that is subsumed by another rule already there. Such a problem is important because evolving knowledge needs not follow logic as it is well-known from e.g. th...
متن کاملCerebro-Spinal Fever (Epidemic Cerebro-Spinal Meningitis)
The invasion of New York by cerebro-spinal fever in the winter and spring of 1904-5, when some 4,000 cases occurred,1 and the more recent appearance of the disease in Glasgow (March, 1906), in Belfast, and some other districts, invite attention to its causation and prophylaxis. It is generally recognised that a cerebro-spinal meningitis may be set up by various causes, such as disease of the mi...
متن کاملCall-by-Push-Value: A Subsuming Paradigm
Call-by-push-value is a new paradigm that subsumes the call-by-name and call-by-value paradigms, in the following sense: both operational and denotational semantics for those paradigms can be seen as arising, via translations that we will provide, from similar semantics for call-by-push-value. To explain call-by-push-value, we rst discuss general operational ideas, especially the distinction be...
متن کاملThe Cerebro-Spinal Fluid
vof 3 other conditions will prove very useful for [l^ence. Therapeutic uses of lumbar puncture ^Renography of the ventriculo-subarachnoid space and t?L ?10chemiciil methods have also been dealt with, D increasing the practical utility of the volume, cmlmte facts have been presented in such a way that , can match with considerable accuracy the findings ,LPuractlcally any case. There is an excell...
متن کاملCerebro-costo-mandibular Syndrome
McNicholl, B., Egan-Mitchell, B., Murray, J. P., Doyle, J. F., Kennedy, J. D. and Crome, L. (1970). Archives of Disease in Childhood, 45, 421. Cerebrocosto-mandibular syndrome: a new familial developmental disorder. Three sibs with a hitherto unreported syndrome are described, the main features being mental handicap, palatal defects, micrognathia, and severe costovertebral defects, involving se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2023
ISSN: ['0098-5589', '1939-3520', '2326-3881']
DOI: https://doi.org/10.1109/tse.2022.3140510